Mathematical logic

Results: 6679



#Item
911ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reflection and the Hierarchy of C(n) cardinals We introduce first a new kind of reflection principle for the universe of all sets:

ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reflection and the Hierarchy of C(n) cardinals We introduce first a new kind of reflection principle for the universe of all sets:

Add to Reading List

Source URL: ali.cmi.ac.in

Language: English - Date: 2010-08-13 05:01:47
912Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California  TACL 2013, July 29, Vanderbilt University

Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University

Add to Reading List

Source URL: math.chapman.edu

Language: English - Date: 2013-09-06 00:51:19
913When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin

When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin

Add to Reading List

Source URL: www.sirangelo.info

Language: English - Date: 2013-04-16 03:57:08
914SOME HISTORICAL REMARKS ON SWITCHING THEORY Radomir S. Stankovi´c1 , Jaakko T. Astola2 , Mark G. Karpovsky3 1 2

SOME HISTORICAL REMARKS ON SWITCHING THEORY Radomir S. Stankovi´c1 , Jaakko T. Astola2 , Mark G. Karpovsky3 1 2

Add to Reading List

Source URL: ticsp.cs.tut.fi

Language: English - Date: 2008-03-20 17:53:22
915June 22, 2009 — Final version for the proceedings of CSL’09  Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1

June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2009-06-23 06:51:18
916C:/Users/jipsen/Documents/Talks/SoftComputing2003/SoftComputingAbstract20030904.dvi

C:/Users/jipsen/Documents/Talks/SoftComputing2003/SoftComputingAbstract20030904.dvi

Add to Reading List

Source URL: www1.chapman.edu

Language: English - Date: 2011-03-30 04:04:54
917Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague

Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague

Add to Reading List

Source URL: web.science.mq.edu.au

Language: English
918Analysis, Geometry and Stochastics for Planet Earth Date: Tuesday, June 2, 2015 Location: Room 402, EPSRC Centres for Doctoral Training Suite, Imperial College London Supported by: London Mathematical Society Institute a

Analysis, Geometry and Stochastics for Planet Earth Date: Tuesday, June 2, 2015 Location: Room 402, EPSRC Centres for Doctoral Training Suite, Imperial College London Supported by: London Mathematical Society Institute a

Add to Reading List

Source URL: mpecdt.org

Language: English - Date: 2015-05-14 04:59:27
919The University of Calgary Department of Philosophy Philosophy 279 L01/L02 LOGIC I Fall 2009 — Richard Zach

The University of Calgary Department of Philosophy Philosophy 279 L01/L02 LOGIC I Fall 2009 — Richard Zach

Add to Reading List

Source URL: www.ucalgary.ca

Language: English - Date: 2014-07-27 06:36:14
920Christian Grothoff  FSEM 1111 Computer Security – from a Free Software Perspective Christian Grothoff

Christian Grothoff FSEM 1111 Computer Security – from a Free Software Perspective Christian Grothoff

Add to Reading List

Source URL: grothoff.org

Language: English - Date: 2011-06-21 07:45:42